Merge pull request #4538 from commodo/python-updates
authorJo-Philipp Wich <[email protected]>
Mon, 3 Jul 2017 13:17:46 +0000 (15:17 +0200)
committerGitHub <[email protected]>
Mon, 3 Jul 2017 13:17:46 +0000 (15:17 +0200)
python,python3: minor build improvements


Trivial merge